Nuprl Definition : iff 9,38
P  Q == (P  Q)  (P  Q) 
latex

DefinitionsP  Q, P  Q, P  Q, P  Q
FDL editor aliasesiff

origin